function exit() {
	window.close();
}